$\forall$$a$,$b$:IdLnk. ($\uparrow$eq\_lnk($a$; $b$)) $\Leftarrow\!\Rightarrow$ ($a$ = $b$)